Compiling language definitions
نویسندگان
چکیده
منابع مشابه
Compiling language models from a linguistically motivated
Systems now exist which are able to compile uni cation grammars into language models that can be included in a speech recognizer, but it is so far unclear whether non-trivial linguistically principled grammars can be used for this purpose. We describe a series of experiments which investigate the question empirically, by incrementally constructing a grammar and discovering what problems emerge ...
متن کاملLanguage Definitions as Rewrite Theories
K is a formal framework for defining the operational semantics of programming languages. It includes software tools for compiling K language definitions to Maude rewrite theories, for executing programs in the defined languages based on the Maude rewriting engine, and for analyzing programs by adapting various Maude analysis tools. A recent extension to the K tool suite is an automatic transfor...
متن کاملVariability within Modeling Language Definitions
We present a taxonomy of the variability mechanisms offered by modeling languages. The definition of a formal language encompasses a syntax and a semantic domain as well as the mapping that relates them, thus language variabilities are classified according to which of those three pillars they address. This work furthermore proposes a framework to explicitly document and manage the variation poi...
متن کاملPractical language based on systems of definitions
The article suggests a description of a system of tables with a set of special lists absorbing a semantics of data and reflects a fullness of data. It shows how their parallel processing can be constructed based on the descriptions. The approach also might be used for definition intermediate targets for data mining and unstructured data processing.
متن کاملCmpt 825: Natural Language Processing 12.0.1 Definitions
Tagger Program that tags a word (w i) in a text with its part of speech (POS) tag t i. Precision Precision is the number of correct responses out of the total number of responses. Recall Recall is the number of correct responses out of the number correct in the key. Word Features Features of a word that are used in characterizing the type of entity it is (i.e. whether a word is capitalized, whe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 2002
ISSN: 0164-0925,1558-4593
DOI: 10.1145/567097.567099